Section: New Software and Platforms

PoCo

Polyhedral Compilation Library

Keywords: Polyhedral compilation - Automatic parallelization

Functional Description: PoCo (Polyhedral Compilation Library) is a compilation framework allowing to develop parallelizing compilers for regular programs. PoCo features many state-of-the-art polyhedral program analysis and a symbolic calculator on execution traces (represented as convex polyhedra). PoCo has been registered at the APP (“agence de protection des programmes”) and transferred to the XtremLogic start-up under an Inria licence.

• Participant: Christophe Alias

• Contact: Christophe Alias